1

Records for logic programming

Year:
1994
Language:
english
File:
PDF, 2.23 MB
english, 1994
2

Capillarity and Archimedes’ principle

Year:
2013
Language:
english
File:
PDF, 670 KB
english, 2013
3

Annular capillary surfaces

Year:
2004
Language:
english
File:
PDF, 161 KB
english, 2004
4

Fresques du Tchad

Year:
1965
File:
PDF, 386 KB
1965
5

Research experience for undergraduates at Iowa State University

Year:
1990
Language:
english
File:
PDF, 461 KB
english, 1990
11

A general existence theorem for symmetric floating drops

Year:
2010
Language:
english
File:
PDF, 556 KB
english, 2010
12

Floating Drops and Functions of Bounded Variation

Year:
2011
Language:
english
File:
PDF, 254 KB
english, 2011
24

Cultural snapshots: Theory and method

Year:
2017
Language:
english
File:
PDF, 217 KB
english, 2017
25

On Floating Equilibria in a Laterally Finite Container

Year:
2018
Language:
english
File:
PDF, 685 KB
english, 2018
37

A new method for undecidability proofs of first order theories

Year:
1992
Language:
english
File:
PDF, 1.07 MB
english, 1992
40

On rewrite constraints and context unification

Year:
2000
Language:
english
File:
PDF, 68 KB
english, 2000
43

Grid structures and undecidable constraint theories

Year:
2001
Language:
english
File:
PDF, 317 KB
english, 2001
44

The first-order theory of lexicographic path orderings is undecidable

Year:
1997
Language:
english
File:
PDF, 1.30 MB
english, 1997
45

The first-order theory of linear one-step rewriting is undecidable

Year:
1998
Language:
english
File:
PDF, 758 KB
english, 1998
48

Reducing Equational Theories for the Decision of Static Equivalence

Year:
2012
Language:
english
File:
PDF, 454 KB
english, 2012